location |
trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_complex_scenario.utz (math_complex_scenario.utt), line 1198 |
occurence |
scenario |
math_complex_scenario |
specification function |
cproj_spec() |
parameter value |
CallContext context = [pid=14215,thr=b749f6c0] |
parameter value |
UnifloatComplex * @x = (double) 1.2300000000000000e+02 (0x.F600000000000000P7) + i *(double) NaN |
parameter value |
UnifloatComplex * x = (double) 1.2300000000000000e+02 (0x.F600000000000000P7) + i *(double) NaN |
return value |
(UnifloatComplex *) (double) Infinity + i *(double) 0.0000000000000000e+00 (0x.0000000000000000P1) |
coverage & branch |
C RE is normal and IM is nan |
properties |
REQ failed |
cproj.01 |
expected value |
(double) 1.2300000000000000e+02 (0x.F600000000000000P7) + i *(double) NaN |
kind |
POSTCONDITION_FAILED |